xenpaging: print p2mt for already paged-in pages

Add more debug output, print p2mt for pages which were requested more
than once.

Signed-off-by: Olaf Hering <olaf@aepfle.de>

diff --git a/tools/xenpaging/xenpaging.c b/tools/xenpaging/xenpaging.c
index c942d9bc61e417ea415305d3e8ec8da5c9f009bf..59ba8d32f641969407bfb49070cfc99bafebdd63 100644 (file)
--- a/tools/xenpaging/xenpaging.c
+++ b/tools/xenpaging/xenpaging.c
@@ -634,8 +634,10 @@ int main(int argc, char *argv[])
             else
             {
                 DPRINTF("page already populated (domain = %d; vcpu = %d;"
+                        " p2mt = %x;"
                         " gfn = %"PRIx64"; paused = %"PRId64")\n",
                         paging->mem_event.domain_id, req.vcpu_id,
+                        req.p2mt,
                         req.gfn, req.flags & MEM_EVENT_FLAG_VCPU_PAUSED);
 
                 /* Tell Xen to resume the vcpu */